3.1379 \(\int \frac{(b d+2 c d x)^{11/2}}{\left (a+b x+c x^2\right )^{5/2}} \, dx\)

Optimal. Leaf size=196 \[ \frac{40 c d^{11/2} \left (b^2-4 a c\right )^{5/4} \sqrt{-\frac{c \left (a+b x+c x^2\right )}{b^2-4 a c}} F\left (\left .\sin ^{-1}\left (\frac{\sqrt{b d+2 c x d}}{\sqrt [4]{b^2-4 a c} \sqrt{d}}\right )\right |-1\right )}{\sqrt{a+b x+c x^2}}+80 c^2 d^5 \sqrt{a+b x+c x^2} \sqrt{b d+2 c d x}-\frac{12 c d^3 (b d+2 c d x)^{5/2}}{\sqrt{a+b x+c x^2}}-\frac{2 d (b d+2 c d x)^{9/2}}{3 \left (a+b x+c x^2\right )^{3/2}} \]

[Out]

(-2*d*(b*d + 2*c*d*x)^(9/2))/(3*(a + b*x + c*x^2)^(3/2)) - (12*c*d^3*(b*d + 2*c*
d*x)^(5/2))/Sqrt[a + b*x + c*x^2] + 80*c^2*d^5*Sqrt[b*d + 2*c*d*x]*Sqrt[a + b*x
+ c*x^2] + (40*c*(b^2 - 4*a*c)^(5/4)*d^(11/2)*Sqrt[-((c*(a + b*x + c*x^2))/(b^2
- 4*a*c))]*EllipticF[ArcSin[Sqrt[b*d + 2*c*d*x]/((b^2 - 4*a*c)^(1/4)*Sqrt[d])],
-1])/Sqrt[a + b*x + c*x^2]

_______________________________________________________________________________________

Rubi [A]  time = 0.488481, antiderivative size = 196, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.179 \[ \frac{40 c d^{11/2} \left (b^2-4 a c\right )^{5/4} \sqrt{-\frac{c \left (a+b x+c x^2\right )}{b^2-4 a c}} F\left (\left .\sin ^{-1}\left (\frac{\sqrt{b d+2 c x d}}{\sqrt [4]{b^2-4 a c} \sqrt{d}}\right )\right |-1\right )}{\sqrt{a+b x+c x^2}}+80 c^2 d^5 \sqrt{a+b x+c x^2} \sqrt{b d+2 c d x}-\frac{12 c d^3 (b d+2 c d x)^{5/2}}{\sqrt{a+b x+c x^2}}-\frac{2 d (b d+2 c d x)^{9/2}}{3 \left (a+b x+c x^2\right )^{3/2}} \]

Antiderivative was successfully verified.

[In]  Int[(b*d + 2*c*d*x)^(11/2)/(a + b*x + c*x^2)^(5/2),x]

[Out]

(-2*d*(b*d + 2*c*d*x)^(9/2))/(3*(a + b*x + c*x^2)^(3/2)) - (12*c*d^3*(b*d + 2*c*
d*x)^(5/2))/Sqrt[a + b*x + c*x^2] + 80*c^2*d^5*Sqrt[b*d + 2*c*d*x]*Sqrt[a + b*x
+ c*x^2] + (40*c*(b^2 - 4*a*c)^(5/4)*d^(11/2)*Sqrt[-((c*(a + b*x + c*x^2))/(b^2
- 4*a*c))]*EllipticF[ArcSin[Sqrt[b*d + 2*c*d*x]/((b^2 - 4*a*c)^(1/4)*Sqrt[d])],
-1])/Sqrt[a + b*x + c*x^2]

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 115.389, size = 194, normalized size = 0.99 \[ 80 c^{2} d^{5} \sqrt{b d + 2 c d x} \sqrt{a + b x + c x^{2}} + \frac{40 c d^{\frac{11}{2}} \sqrt{\frac{c \left (a + b x + c x^{2}\right )}{4 a c - b^{2}}} \left (- 4 a c + b^{2}\right )^{\frac{5}{4}} F\left (\operatorname{asin}{\left (\frac{\sqrt{b d + 2 c d x}}{\sqrt{d} \sqrt [4]{- 4 a c + b^{2}}} \right )}\middle | -1\right )}{\sqrt{a + b x + c x^{2}}} - \frac{12 c d^{3} \left (b d + 2 c d x\right )^{\frac{5}{2}}}{\sqrt{a + b x + c x^{2}}} - \frac{2 d \left (b d + 2 c d x\right )^{\frac{9}{2}}}{3 \left (a + b x + c x^{2}\right )^{\frac{3}{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((2*c*d*x+b*d)**(11/2)/(c*x**2+b*x+a)**(5/2),x)

[Out]

80*c**2*d**5*sqrt(b*d + 2*c*d*x)*sqrt(a + b*x + c*x**2) + 40*c*d**(11/2)*sqrt(c*
(a + b*x + c*x**2)/(4*a*c - b**2))*(-4*a*c + b**2)**(5/4)*elliptic_f(asin(sqrt(b
*d + 2*c*d*x)/(sqrt(d)*(-4*a*c + b**2)**(1/4))), -1)/sqrt(a + b*x + c*x**2) - 12
*c*d**3*(b*d + 2*c*d*x)**(5/2)/sqrt(a + b*x + c*x**2) - 2*d*(b*d + 2*c*d*x)**(9/
2)/(3*(a + b*x + c*x**2)**(3/2))

_______________________________________________________________________________________

Mathematica [C]  time = 1.55816, size = 201, normalized size = 1.03 \[ \frac{(d (b+2 c x))^{11/2} \left (\frac{2 (a+x (b+c x)) \left (\frac{26 c \left (4 a c-b^2\right )}{a+x (b+c x)}-\frac{\left (b^2-4 a c\right )^2}{(a+x (b+c x))^2}+32 c^2\right )}{3 (b+2 c x)^5}+\frac{40 i c \left (b^2-4 a c\right ) \sqrt{\frac{c (a+x (b+c x))}{(b+2 c x)^2}} F\left (\left .i \sinh ^{-1}\left (\frac{\sqrt{-\sqrt{b^2-4 a c}}}{\sqrt{b+2 c x}}\right )\right |-1\right )}{\sqrt{-\sqrt{b^2-4 a c}} (b+2 c x)^{9/2}}\right )}{\sqrt{a+x (b+c x)}} \]

Antiderivative was successfully verified.

[In]  Integrate[(b*d + 2*c*d*x)^(11/2)/(a + b*x + c*x^2)^(5/2),x]

[Out]

((d*(b + 2*c*x))^(11/2)*((2*(a + x*(b + c*x))*(32*c^2 - (b^2 - 4*a*c)^2/(a + x*(
b + c*x))^2 + (26*c*(-b^2 + 4*a*c))/(a + x*(b + c*x))))/(3*(b + 2*c*x)^5) + ((40
*I)*c*(b^2 - 4*a*c)*Sqrt[(c*(a + x*(b + c*x)))/(b + 2*c*x)^2]*EllipticF[I*ArcSin
h[Sqrt[-Sqrt[b^2 - 4*a*c]]/Sqrt[b + 2*c*x]], -1])/(Sqrt[-Sqrt[b^2 - 4*a*c]]*(b +
 2*c*x)^(9/2))))/Sqrt[a + x*(b + c*x)]

_______________________________________________________________________________________

Maple [B]  time = 0.089, size = 958, normalized size = 4.9 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((2*c*d*x+b*d)^(11/2)/(c*x^2+b*x+a)^(5/2),x)

[Out]

-2/3*(120*EllipticF(1/2*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*
2^(1/2),2^(1/2))*x^2*a*c^3*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/
2)*(-(2*c*x+b)/(-4*a*c+b^2)^(1/2))^(1/2)*((-b-2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+
b^2)^(1/2))^(1/2)*(-4*a*c+b^2)^(1/2)-30*EllipticF(1/2*((b+2*c*x+(-4*a*c+b^2)^(1/
2))/(-4*a*c+b^2)^(1/2))^(1/2)*2^(1/2),2^(1/2))*x^2*b^2*c^2*((b+2*c*x+(-4*a*c+b^2
)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*(-(2*c*x+b)/(-4*a*c+b^2)^(1/2))^(1/2)*((-b-2*
c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*(-4*a*c+b^2)^(1/2)+120*Ellipti
cF(1/2*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*2^(1/2),2^(1/2))*
x*a*b*c^2*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*(-(2*c*x+b)/(-
4*a*c+b^2)^(1/2))^(1/2)*((-b-2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)
*(-4*a*c+b^2)^(1/2)-30*EllipticF(1/2*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^
(1/2))^(1/2)*2^(1/2),2^(1/2))*x*b^3*c*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)
^(1/2))^(1/2)*(-(2*c*x+b)/(-4*a*c+b^2)^(1/2))^(1/2)*((-b-2*c*x+(-4*a*c+b^2)^(1/2
))/(-4*a*c+b^2)^(1/2))^(1/2)*(-4*a*c+b^2)^(1/2)-64*c^5*x^5+120*((b+2*c*x+(-4*a*c
+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*(-(2*c*x+b)/(-4*a*c+b^2)^(1/2))^(1/2)*((-
b-2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*EllipticF(1/2*((b+2*c*x+(-
4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*2^(1/2),2^(1/2))*(-4*a*c+b^2)^(1/2)*
a^2*c^2-30*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*(-(2*c*x+b)/(
-4*a*c+b^2)^(1/2))^(1/2)*((-b-2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2
)*EllipticF(1/2*((b+2*c*x+(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(1/2))^(1/2)*2^(1/2),
2^(1/2))*(-4*a*c+b^2)^(1/2)*a*b^2*c-160*b*c^4*x^4-336*x^3*a*c^4-76*x^3*b^2*c^3-5
04*x^2*a*b*c^3+46*x^2*b^3*c^2-240*a^2*c^3*x-132*a*b^2*c^2*x+28*b^4*c*x-120*a^2*b
*c^2+18*a*c*b^3+b^5)*d^5*(d*(2*c*x+b))^(1/2)/(2*c*x+b)/(c*x^2+b*x+a)^(3/2)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (2 \, c d x + b d\right )}^{\frac{11}{2}}}{{\left (c x^{2} + b x + a\right )}^{\frac{5}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((2*c*d*x + b*d)^(11/2)/(c*x^2 + b*x + a)^(5/2),x, algorithm="maxima")

[Out]

integrate((2*c*d*x + b*d)^(11/2)/(c*x^2 + b*x + a)^(5/2), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (32 \, c^{5} d^{5} x^{5} + 80 \, b c^{4} d^{5} x^{4} + 80 \, b^{2} c^{3} d^{5} x^{3} + 40 \, b^{3} c^{2} d^{5} x^{2} + 10 \, b^{4} c d^{5} x + b^{5} d^{5}\right )} \sqrt{2 \, c d x + b d}}{{\left (c^{2} x^{4} + 2 \, b c x^{3} + 2 \, a b x +{\left (b^{2} + 2 \, a c\right )} x^{2} + a^{2}\right )} \sqrt{c x^{2} + b x + a}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((2*c*d*x + b*d)^(11/2)/(c*x^2 + b*x + a)^(5/2),x, algorithm="fricas")

[Out]

integral((32*c^5*d^5*x^5 + 80*b*c^4*d^5*x^4 + 80*b^2*c^3*d^5*x^3 + 40*b^3*c^2*d^
5*x^2 + 10*b^4*c*d^5*x + b^5*d^5)*sqrt(2*c*d*x + b*d)/((c^2*x^4 + 2*b*c*x^3 + 2*
a*b*x + (b^2 + 2*a*c)*x^2 + a^2)*sqrt(c*x^2 + b*x + a)), x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((2*c*d*x+b*d)**(11/2)/(c*x**2+b*x+a)**(5/2),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (2 \, c d x + b d\right )}^{\frac{11}{2}}}{{\left (c x^{2} + b x + a\right )}^{\frac{5}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((2*c*d*x + b*d)^(11/2)/(c*x^2 + b*x + a)^(5/2),x, algorithm="giac")

[Out]

integrate((2*c*d*x + b*d)^(11/2)/(c*x^2 + b*x + a)^(5/2), x)